1. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
Classification :
TK
7874
.
C685
1989
